Issue3289-rhs.agda:16,5-7
R should be a function type, but it isn't
when checking that ⦃ .x ⦄ is a valid argument to a function of type
R
